State Estimation and Fault Detection Using Petri Nets
نویسنده
چکیده
This extended abstract serves as a support for the plenary address given by the author at the 32nd International Conference on Application and Theory of Petri Nets and Concurrency. Published as: A. Giua, ”State Estimation and Fault Detection Using Petri Nets”, Applications and Theory of Petri Nets: Proc. 32nd Int. Conf. on Applications and Theory of Petri nets 2008 (Newcastle, UK), June 20-24, 2011. Lecture Notes in Computer Science Vol. 6709, pp. 419-428, L.M. Kristensen and L. Petrucci (Eds.) Springer-Verlag, 2011. The original publication is available at www.springerlink.com. January 9, 2012 DRAFT
منابع مشابه
Fault Detection and Diagnosis in Distributed Systems: An Approach by Partially Stochastic Petri Nets
We address the problem of alarm correlation in large distributed systems. The key idea is to make use of the concurrence of events in order to separate and simplify the state estimation in a faulty system. Petri nets and their causality semantics are used to model concurrency. Special partially stochastic Petri nets are developed, that establish some kind of equivalence between concurrence and ...
متن کاملA Distributed Algorithm for On-line Diagnosis of Place-bordered Petri Nets
A new distributed algorithm for on-line fault detection and isolation of discreteevent systems modeled by Petri nets is presented. The algorithm is applicable to systems modeled in a modular manner by means of place-bordered Petri nets, i.e., Petri nets with common places but distinct transitions. These Petri nets have transition labeled with events; fault events are modeled as transitions labe...
متن کاملStudy on Fault Analysis Technology by Means of Petri Nets
Petri Nets can represent static structure and dynamic change in a system, and reflect the state of a system and the development of event. It can express spread relationship of faults and identify the minimal cut sets (MCS) according to the relationship between inputs and outputs implied in the Incidence Matrix of Petri Nets. Petri Nets can also be used for qualitative analysis according to the ...
متن کاملEffectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments
Existing work has developed techniques for automated generation of function tests from high-level Petri nets. Yet there is no empirical evidence that demonstrates the costeffectiveness of this approach. This paper presents a series of controlled experiments to evaluate the fault detection capabilities of various strategies for test generation from high-level Petri nets. We built test models and...
متن کاملModeling of Continuous Systems Using Modified Petri Nets
Due to the changes which may occur in their parameters, systems are usually demonstrated by some subsystems for different conditions. This paper employs Modified Petri Nets (MPN) to model theses subsystems and makes it simple to analyze them. In this method, first, the continuous transfer function is converted to a discrete transfer function and then, by MPN, system is modeled and analyzed. All...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2011